Consistency Without Borders Peter Alvaro, Peter Bailis, Neil Conway, Joseph M. Hellerstein Abstract Distributed consistency is a perennial research topic; in recent years it has become an urgent practical matter as

Source URL: www.neilconway.org

• Data
• Concurrency control
• Databases
• Database management systems
• Parallel computing
• Database
• Consistency model
• Linearizability
• Serializability
• Computing
• Transaction processing
• Data management

Formal Verification of Programs That Use MPI One-Sided Communication Salman Pervez1 , Ganesh Gopalakrishnan1 , Robert M. Kirby1 , Rajeev Thakur2 , and William Gropp2 1

Source URL: www.mcs.anl.gov

• Computer programming
• Parallel computing
• Application programming interfaces
• Message Passing Interface
• Transaction processing
• Deadlock
• Lock
• Model checking
• Non-blocking algorithm
• Computing
• Concurrent computing
• Concurrency control

Structure Slicing: Extending Logical Regions with Fields Michael Bauer Sean Treichler

Source URL: theory.stanford.edu

• Procedural programming languages
• Database management systems
• Fortran
• Parallel computing
• Geographic information system
• Stream processing
• ALGOL 68
• Database index
• Database
• Computing
• Software engineering
• Computer programming

Reasoning About Lock Placements Peter Hawkins, Alex Aiken? , Kathleen Fisher?? , Martin Rinard, and Mooly Sagiv Stanford University, Tufts University, MIT, Tel Aviv University Abstract. A lock placement describes, for ea

Source URL: theory.stanford.edu

• Data
• Information
• Databases
• Lock
• Linearizability
• Two-phase locking
• Parallel computing
• Serializability
• Extensible Storage Engine
• Transaction processing
• Concurrency control
• Data management

Lightweight Asynchrony Using Parasitic Threads KC Sivaramakrishnan Lukasz Ziarek Raghavendra Prasad

Source URL: kcsrk.info

• Threads
• Parallel computing
• Concurrency control
• Fiber
• Parasitism
• Actor model
• Non-blocking algorithm
• Process
• Central processing unit
• Computing
• Concurrent computing
• Computer programming

Mardi 22 avril -- Samedi 26 avril 2003 Centre de Convention Nice Acropolis Nice, France Sponsored by the IEEE Computer Society Technical Committee on Parallel Processing (Hosted by INRIA Sophia Antipolis, CNRS & Universi

Source URL: www.ipdps.org

Stefan Eilemann Faubourg de l’Hˆ opital 12 · CH-2000 Neuchˆ atel · + · Particulars

Source URL: www.equalizergraphics.com

• Application programming interfaces
• Virtual reality
• 3D graphics software
• Video game development
• Parallel rendering
• Chromium
• Video wall
• Silicon Graphics
• Graphics processing unit
• Software
• Computing
• OpenGL

Improving the Performance of MPI Derived Datatypes by Optimizing Memory-Access Cost Surendra Byna† † William Gropp‡

Source URL: www.mcs.anl.gov

• Compiler optimizations
• Central processing unit
• Computer memory
• Parallel computing
• Application programming interfaces
• Message Passing Interface
• CPU cache
• Automatically Tuned Linear Algebra Software
• MPICH
• Computing
• Computer programming
• Software engineering

StreamBase White Paper StreamBase versus Native Threading By Richard Tibbetts Co-Founder and Chief Technology Officer, StreamBase Systems, Inc.

Source URL: www.streambase.com

• Cross-platform software
• Microprocessors
• Parallel computing
• StreamBase Systems
• Thread
• Complex event processing
• Multithreading
• Java
• Multi-core processor
• Computing
• Cognition
• Information systems

Enabling a Strict Consistency Semantics Model in Parallel HDF5 Introduced with HDF5 Releasein May 2012

Source URL: www.hdfgroup.org

• Data
• Information
• Earth sciences graphics software
• NetCDF
• Hierarchical Data Format
• Data consistency
• Linearizability
• File system
• Consistency model
• Computing
• Transaction processing
• Computer file formats